production of proof

提供证明